1

Metamathematics of modal logic

Year:
1974
Language:
english
File:
PDF, 88 KB
english, 1974
2

Mathematical modal logic: A view of its evolution

Year:
2003
Language:
english
File:
PDF, 748 KB
english, 2003
6

Well-structured program equivalence is highly undecidable

Year:
2012
Language:
english
File:
PDF, 130 KB
english, 2012
7

Parallel action: Concurrent dynamic logic with independent modalities

Year:
1992
Language:
english
File:
PDF, 1.12 MB
english, 1992
8

[Graduate Texts in Mathematics] Lectures on the Hyperreals Volume 188 ||

Year:
1998
Language:
english
File:
PDF, 33.81 MB
english, 1998
9

Grothendieck Topology as Geometric Modality

Year:
1981
Language:
english
File:
PDF, 1.81 MB
english, 1981
11

Varieties of complex algebras

Year:
1989
Language:
english
File:
PDF, 7.81 MB
english, 1989
12

Final coalgebras and the Hennessy–Milner property

Year:
2006
Language:
english
File:
PDF, 261 KB
english, 2006
13

Diodorean modality in Minkowski spacetime

Year:
1980
Language:
english
File:
PDF, 847 KB
english, 1980
14

A Calculus of Terms for Coalgebras of Polynomial Functors

Year:
2001
Language:
english
File:
PDF, 257 KB
english, 2001
20

The Power of a Propositional Constant

Year:
2014
Language:
english
File:
PDF, 476 KB
english, 2014
21

An Alternative Semantics for Quantified Relevant Logic

Year:
2006
Language:
english
File:
PDF, 1.68 MB
english, 2006
26

Spatial logic of tangled closure operators and modal mu-calculus

Year:
2017
Language:
english
File:
PDF, 2.76 MB
english, 2017
29

Erdős Graphs Resolve Fine's Canonicity Problem

Year:
2004
Language:
english
File:
PDF, 265 KB
english, 2004
30

Books

Year:
1975
Language:
english
File:
PDF, 1.03 MB
english, 1975
38

Observational ultraproducts of polynomial coalgebras

Year:
2003
Language:
english
File:
PDF, 1.09 MB
english, 2003
39

What is the coalgebraic analogue of Birkhoff's variety theorem?

Year:
2001
Language:
english
File:
PDF, 245 KB
english, 2001
40

Enlargements of functional algebras for the lambda calculus

Year:
1998
Language:
english
File:
PDF, 1.53 MB
english, 1998
41

An abstract setting for Henkin proofs

Year:
1984
Language:
english
File:
PDF, 416 KB
english, 1984
42

The semantics of Hoare's Iteration Rule

Year:
1982
Language:
english
File:
PDF, 1.11 MB
english, 1982
43

An algebraic study of well-foundedness

Year:
1985
Language:
english
File:
PDF, 948 KB
english, 1985
46

An Admissible Semantics for Propositionally Quantified Relevant Logics

Year:
2010
Language:
english
File:
PDF, 531 KB
english, 2010
47

Maps and Monads for Modal Frames

Year:
2006
Language:
english
File:
PDF, 2.46 MB
english, 2006
48

Monadic Bounded Algebras

Year:
2010
Language:
english
File:
PDF, 487 KB
english, 2010
49

Functional Monadic Bounded Algebras

Year:
2010
Language:
english
File:
PDF, 187 KB
english, 2010
50

Grishin Algebras and Cover Systems for Classical Bilinear Logic

Year:
2011
Language:
english
File:
PDF, 1.66 MB
english, 2011